带有弹性碰撞的离散的凝结方程

带有弹性碰撞的离散的凝结方程是反映粒子增长动力学的数学模型，它刻划了这样一种粒子反应系统；系统中任意两个粒子碰撞后一定的概率或者凝结成为更大的粒子，或者发生弹性碰撞．本文研究了这一系统发生冻肢的可能性，并给出了一个充分条件．     

Averaged topological equations for dispersed two-phase flows

A general relationship between the volume fraction and the specific interfacial area for averaged dispersed two-phase flows is proposed. This relationship, expressed as a basic set of two scalar evolution equations and two vectorial non-uniformity state equations, is an analytical result obtained by a systematic approach using the derivatives of some generalized functions and a local volume-averaging technique. The proposed set of equations was expressed for measurable macroscopic parameters of the system and has the same generality as the averaged transport equations of two-phase flows. By combination of the basic set of equations, called the averaged topological equations (ATEs), second-order ATEs for the volume fraction were found. The second-order ATEs were expressed both by a Lagrangian formulation and by a Eulerian formulation. The importance and physical meaning of the ATEs developed in this study were clarified within the framework of the theory of kinematic waves.     

The intertwining lifting theorem for ordered groups

Sz.-Nagy's dilation theorem for a contraction on a Hilbert space has been extended by Mlak to the case of a contraction semigroup whose indices are the positive elements of a totally ordered discrete group. We generalize to this case the intertwining lifting theorem of Sz.-Nagy and Foias. Some previous interpolation results on ordered groups are obtained as consequences.     

A note on the complexity and tractability of the heat equation

We wish to solve the heat equation u_t=Δu-qu in I^d×(0,T), where I is the unit interval and T is a maximum time value, subject to homogeneous Dirichlet boundary conditions and to initial conditions u(·,0)=f over I^d. We show that this problem is intractable if f belongs to standard Sobolev spaces, even if we have complete information about q. However, if f and q belong to a reproducing kernel Hilbert space with finite-order weights, we can show that the problem is tractable, and can actually be strongly tractable.     

Coercive boundary value problems for regular degenerate differential-operator equations

This study focuses on nonlocal boundary value problems (BVP) for degenerate elliptic differential-operator equations (DOE), that are defined in Banach-valued function spaces, where boundary conditions contain a degenerate function and a principal part of the equation possess varying coefficients. Several conditions obtained, that guarantee the maximal L_p regularity and Fredholmness. These results are also applied to nonlocal BVP for regular degenerate partial differential equations on cylindrical domain to obtain the algebraic conditions that ensure the same properties.     

A purely algebraic characterization of the hyperreal numbers

The hyperreal numbers of nonstandard analysis are characterized in purely algebraic terms as homomorphic images of a suitable class of rings of functions.

     

Measure of Ordering in Statistical Systems

In this paper, we introduce a phenomenological measure of ordering in statistical systems. Using this characteristic, we construct a formal model of a system evolving according to the law of steepest ascent as the control parameter increases.     

Banach空间中二阶积分-微分方程的初值问题

使用锥理论及单调迭代技术，首先讨论了Banach空间中一阶积分-微分方程初值问题的最小最大解的存在性，并在此基础上讨论了带有一阶微分项的二阶积分-微分方程初值问题的最小最大解的存在性。     

Representation of Hilbert algebras and implicative semilattices

In this paper we shall give a topological representation for Hilbert algebras that extend the topological representation given by A. Diego in [4]. For implicative semilattices this representation gives a full duality. We shall also consider the representation for Boolean ring.     

All Subvarieties of ℒpq Have Finite Bases of Identities

We consider the varieties of lattice ordered groups with the identity of commutation of the nth powers of elements. We establish that every such l-variety with n=pq, where p and q are distinct prime numbers, has a finite basis of identities.